Altenkirch, Thorsten: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Partial Type Checking Algorithm for Type:Type

Andreas Abel, Thorsten Altenkirch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 222 KB

english, 2011

2

Personal Reflections on the Role of Mathematical Logic in Computer Science

Kfoury, Assaf, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 204 KB

2019

3

Strong Normalization for Truth Table Natural Deduction

Geuvers, Herman, van der Giessen, Iris, Hurkens, Tonny, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 418 KB

2019

4

Observational Equivalence for Multiparty Sessions

Severi, Paula, Dezani-Ciancaglini, Mariangiola, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 363 KB

2019

5

Decidability of Several Concepts of Finiteness for Simple Types

Santo, JosÃ© EspÃrito, Matthes, Ralph, Pinto, LuÃs, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 352 KB

2019

6

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1657 || Algorithms for Equality and Unification in the Presence of Notational Definitions

Altenkirch, Thorsten, Reus, Bernhard, Naraschewski, Wolfgang

Year:

1999

Language:

english

File:

PDF, 256 KB

english, 1999

7

[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Some constructions on ω-groupoids

Altenkirch, Thorsten, Li, Nuo, Rypáček, Ondřej

Year:

2014

Language:

english

File:

PDF, 311 KB

english, 2014

8

Big-step normalisation

ALTENKIRCH, THORSTEN, CHAPMAN, JAMES

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 166 KB

english, 2009

9

A predicative analysis of structural recursion

ABEL, ANDREAS, ALTENKIRCH, THORSTEN

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 462 KB

english, 2002

10

Constructing quotient inductive-inductive types

Kaposi, Ambrus, Kovács, András, Altenkirch, Thorsten

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 386 KB

2019

11

Containers: Constructing strictly positive types

Michael Abbott, Thorsten Altenkirch, Neil Ghani

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

12

When is a function a fold or an unfold?

Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 163 KB

english, 2001

13

Skolemâs Theorem in Coherent Logic

Bezem, Marc, Coquand, Thierry, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 221 KB

2019

14

From Reversible to Irreversible Computations

Alexander S. Green, Thorsten Altenkirch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

15

[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - Observational equality, now!

Altenkirch, Thorsten, McBride, Conor, Swierstra, Wouter

Year:

2007

Language:

english

File:

PDF, 293 KB

english, 2007

16

Certifying Dictionary Construction in Isabelle/HOL

Hupel, Lars, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 376 KB

2019

17

An Algebra of Pure Quantum Programming

Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 385 KB

english, 2007

18

A UNIVERSE OF STRICTLY POSITIVE FAMILIES

MORRIS, PETER, ALTENKIRCH, THORSTEN, GHANI, NEIL

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 260 KB

english, 2009

19

Indexed containers

ALTENKIRCH, THORSTEN, GHANI, NEIL, HANCOCK, PETER, MCBRIDE, CONOR, MORRIS, PETER

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 267 KB

english, 2015

20

The Duality of Classical Intersection and Union Types

Downen, Paul, Ariola, Zena M., Ghilezan, Silvia, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 486 KB

2019

21

[ACM Press the 30th Symposium - Lowell, MA, USA (2018.09.05-2018.09.07)] Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 - Pure Functional Epidemics

Thaler, Jonathan, Altenkirch, Thorsten, Siebers, Peer-Olaf

Year:

2018

Language:

english

File:

PDF, 821 KB

english, 2018

22

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Kurata, Toshihiko, Fujita, Ken-etsu, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 363 KB

2019

23

New Semantical Insights Into Call-by-Value Î»-Calculus

Manzonetto, Giulio, Pagani, Michele, Ronchi Della Rocca, Simona, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 195 KB

2019

24

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Indexed Containers

Altenkirch, Thorsten, Morris, Peter

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

25

Structuring quantum effects: superoperators as arrows

VIZZOTTO, JULIANA, ALTENKIRCH, THORSTEN, SABRY, AMR

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

26

The Magda Language: Ten Years After

Bono, Viviana, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 175 KB

english, 2019

27

Simple SubTypes of Intersection Types

Statman, Rick, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 220 KB

2019

28

[ACM Press the ACM SIGPLAN workshop - Freiburg, Germany (2007.09.30-2007.09.30)] Proceedings of the ACM SIGPLAN workshop on Haskell workshop - Haskell '07 - Beauty in the beast

Swierstra, Wouter, Altenkirch, Thorsten

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

29

Selected papers from Dependently Typed Programming 2010 – Overview

ALTENKIRCH, THORSTEN, MCBRIDE, CONOR

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 37 KB

english, 2016

30

Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization

Dudenhefner, Andrej, Rehof, Jakob, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 253 KB

2019

31

Preface

Altenkirch, Thorsten, Schubert, Aleksy, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 33 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски